Subspace Proof Examples